13.4 Equivalence of Clausius’ and Kelvin’s statements